Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
There's a toga party at my place tonight.
今晚在我家有个聚会。
I want to make a long distance call.
我想打个长途电话。
It was his job to repair bicycles and at that time he used to work fourteen hours a day.
他那时的工作是修理自行车，并且通常是一天工作14个小时。